21. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
پدیدآورنده : B. Banieqbal, H. Barringer, A. Pnueli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
398
22. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System design,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
S88
.
T42
1989
23. The design of logical machines
پدیدآورنده : Florine, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction,، Electronic circuit design-- Data processing,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
F5613
24. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
